Sergio-Anapproachtoformalisesecuritypatterns119-Context-Softwaredevelopment-Methods published presentations and documents on DocSlides.